/*
 * debug.h
 *
 *  Created on: 5 Nov 2013
 *      Author: "Tom Vercauteren"
 */

#ifndef DEBUG_H_
#define DEBUG_H_

#include <cstdlib>
#include <cstdio>

#define here  fprintf(stdout," --------  file \"%s\"  line %d  --------\n", __FILE__,__LINE__)

#endif /* DEBUG_H_ */
